Static testing - PDFSEARCH.IO - Document Search Engine

Static testing
Results: 194

#	Item
21	Microsoft Word - f1488_1.doc Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification
22	http://www.stickyminds.com/BetterSoftware/magazine.asp?fn=cifea Add to Reading List Source URL: www.agitar.com Language: English - Date: 2011-06-20 15:01:26 Software testing Program analysis Software review Concurrent programming languages Cross-platform software Static program analysis Dynamic program analysis Programming tool Lint Application security Software quality Java
23	Microsoft PowerPoint - DenimGroup_StaticAnalysisTechniquesForTestingApplicationSecurity_Content.pptx Add to Reading List Source URL: denimgroup.com Language: English - Date: 2014-01-13 18:18:31 Software testing Computer security Program analysis Static Application security FxCop FindBugs Worst-case execution time
24	Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications David Brumley, Pongsin Poosankam Dawn Song Jiang Zheng {dbrumley,ppoosank}@cs.cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Software bugs Hacking Buffer overflow Computer memory Vulnerability Static single assignment form Exploit Patch Test data generation Concolic testing
25	Handling Adversity: Prisoner, Settler, or Pioneer? By David Benzel “Good timber does not grow with ease; the stronger the wind, the stronger the trees.” – J. Willard Marriott Add to Reading List Source URL: static.usagymclub.com Language: English - Date: 2014-07-02 15:30:45 Adversity quotient Psychological testing Psychological resilience
26	Microsoft PowerPoint - DenimGroup_StaticAnalysisTechniquesForTestingApplicationSecurity_Content.pptx Add to Reading List Source URL: denimgroup.com Language: English - Date: 2014-01-13 18:18:27 Software testing Computer security Program analysis Static Application security FxCop FindBugs Worst-case execution time
27	SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:26 Abstract interpretation Software testing AbsInt Fluctuat Astre Formal methods Radhia Cousot Static program analysis Patrick Cousot Formal verification Simulink Polyspace
28	dl testing_accepted id_under 18_pg 2_102015 Add to Reading List Source URL: static.ark.org Language: English - Date: 2015-10-13 13:19:48
29	dl testing_accepted id_18 & older_102015 Add to Reading List Source URL: static.ark.org Language: English - Date: 2015-10-13 13:19:20
30	Questions Developers Ask While Diagnosing Potential Security Vulnerabilities with Static Analysis Justin Smith, Brittany Johnson, and Emerson Murphy-Hill Bill Chu and Heather Richter Lipford Add to Reading List Source URL: www4.ncsu.edu Language: English - Date: 2015-07-31 17:48:16 Computer network security Hacking Software testing Computer security Vulnerability Cross-site scripting SQL injection Program analysis Web application security Penetration test Application security Software bug

UPDATE